Semantic Framework for Rudder Middleware Infrastructure

Rudder is a generative agent-based middleware with intelligent deductive capabilities and effective coordination services for Grid autonomic applications. It provides a coordination environment to develop and enable self-managing systems, adopting multi-agent based management and reactive tuple space coordination technology. Rudder employs context-aware agent mechanism and tuple space coordination technology to enable system context and self awareness, monitor and analyze, police definition and distributed execution. This paper provides the semantic framework for Rudder operational semantics and system behavior, in which the reactive tuple space is considered as fucus design abstraction. The goal of the framework is to provide a precise specification of the system transition and run time state to help understand the system design and implementation, opening the possibility of using verification techniques to analysis the system run time behavior.